Partial Evaluation of Pattern Matching in StringsCharles

This article describes how automatically specializing a fairly naive pattern matcher by partial evaluation leads to the Knuth, Morris & Pratt algorithm. Interestingly enough, no theorem proving is needed to achieve the partial evaluation, as was previously argued, and it is suucient to identify a static component in the computation to get the result { a deterministic nite automaton. This experiment illustrates how a small insight and partial evaluation can achieve a non-trivial result.